<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta name="generator" content=
"<?php echo WHOAMI ?>" />
<meta http-equiv="Content-Script-Type" content="text/javascript" />
<link rel="stylesheet" type="text/css" href="/Giocondo/css/Gtk.css"
title="Giocondo GTK-like default style" />
<title><?php echo $this->options['title'] ?></title>
<?php @include('GiocondoSubHead.php') ?>
</head>
<?php (@include('GiocondoSubBody.php')) or print("<body>\n") ?>
<?php @include('GiocondoSubPre.php') ?>
<div id="w<?php echo $this->id ?>"><?php $this->display_child() ?></div>
<?php if ($Giocondo_win_js !== '') { ?><script type=
"text/javascript">
//<![CDATA[
with(opener.Giocondo.getInstance()){<?php echo $Giocondo_win_js ?>}
//]]>
</script><?php } ?><?php @include('GiocondoSubPost.php') ?>
</body>
</html>
